Extensible physical oceanographic realtime system (PORTS)

Oceanographic Sensor System Development

hen the Submarine Technology Department (now the National Security Technology Department) was formed in 1977, it launched an evolution, if not a revolution, in the design of oceanographic sensor systems at APL. This drove rapid advances in ocean sensor systems engineering and technology to support a better understanding of upper ocean dynamics. In this article we provide a brief review of engin...

A Realtime Generative Music System

Kinetic Engine is a realtime generative music system that has been in development since 2005. It has been used as an extended instrument within an improvising ensemble, as a networked performance ensemble, as an interactive installation, and as an independent performance system under the composer’s control. The first two versions were solely concerned with polyphonic rhythmic organisation using...

Ports Output Ports

Extensible Symbolic System Analysis∗

Unification and narrowing are a key ingredient not only to solve equations modulo an equational theory, but also to perform symbolic system analysis. The key idea is that a concurrent system can be naturally specified as a rewrite theory R = (Σ, E, R), where (Σ, E) is an equational theory specifying the system’s states as an algebraic data type, and R specifies the system’s concurrent, and ofte...

Automating Physical Database Design: An Extensible Approach

In a high-level query language such as SQL, queries yield the same result no matter how the logical schema is physically implemented. Nevertheless, a query's cost can vary by orders of magnitude among di erent physical implementations of the same logical schema, even with the most modern query optimizers. Therefore, designing a low-cost physical implementation is an important pragmatic problem|...